00100	<EXP> ::= <ATOM> => ATOM
00200		::= [ <REM>] => (QUOTE REM)
00300	
00400		::= (<LST>) => LST
00500	
00600	<LST> ::= <EXP> <LST> => (EXP . LST)
00650		::= => NIL
00700	<REM> 	::= CHOICE <ST> => (*CHOICE . ST)
00712		::= DECLARE <DECOP>:<OPLIST> =>(*DECLARE DECOP OPLIST)
00725		::= EDIT <ST> => (*EDIT .ST)
00750		::= CLAUSES <CLAUSES> =>(*CL .CLAUSES)
00775		::= PATTERN <F1> => (*PATTERN . F1)
00800	END